@ARTICLE{HinDas_j1989, author = {Friedhelm~Hinz and J{\"u}rgen~Dassow}, title = {An undecidability result for regular languages and its application to regulated rewriting}, journal = beatcs, year = 1989, volume = 38, number = {}, pages = {168--174} }